testing multiple choice questions

Formal Methods
Informal Methods
Both
None